Merging Formal
نویسنده
چکیده
Industry acceptance of formal methods for software speciication could be improved by the availability of tools for direct derivation of prototype implementations from the speciication. We propose such a scenario, based on executable algebraic speciications and eecient implementation of functional languages. Our approach facilitates the incremental replacement of executable speciications by production code.
منابع مشابه
Merging Beliefs with Goals A formal analysis based on Merging Operators
The specification and verification of cognitive agent systems leads to the integration of formal systems, such as the combination of logics of beliefs, goals and intentions in Rao and Georgeff’s BDICTL logic, the merging of conflicting informational attitudes such as knowledge bases or belief sources into beliefs, and the merging of conflicting motivational attitudes such as desires, obligation...
متن کاملAn Entropy-Based Weighted Concept Lattice for Merging Multi-Source Geo-Ontologies
To deal with the complexities associated with the rapid growth in a merged concept lattice, a formal method based on an entropy-based weighted concept lattice (EWCL) is proposed as a mechanism for merging multi-source geographic ontologies (geo-ontologies). First, formal concept analysis (FCA) is used to formalize different term-based representations in relation to the geographic domain, and to...
متن کاملComplexity management methodology for fuzzy systems with feedback rule bases
This paper proposes a complexity management methodology for fuzzy systems with feedback rule bases. The methodology is based on formal methods for presentation, manipulation and transformation of fuzzy rule bases. First, Boolean matrices are used for formal presentation of rule bases. Then, binary merging operations are used for formal manipulation of rule bases. Finally, repetitive merging ope...
متن کاملMerging Models Based on Given Correspondences
A model is a formal description of a complex application artifact, such as a database schema, an application interface, a UML model, an ontology, or a message format. The problem of merging such models lies at the core of many meta data applications, such as view integration, mediated schema creation for data integration, and ontology merging. This paper examines the problem of merging two mode...
متن کاملAlgebraic Graph Transformations for Merging Ontologies
The conception of an ontology is a complex task influenced by numerous factors like the point of view of the authors or the level of details. Consequently, several ontologies have been developed to model identical or related domains leading to partially overlapping representations. This divergence of conceptualization requires the study of ontologies merging in order to create a common reposito...
متن کاملOn Merging Object-Oriented Formal Specifications
Collaborative development allows the delegation of tasks among developers, which eases the development of complex software systems. The software artifacts created because of this collaboration need to be merged at the end of a particular development activity. To achieve this, a merging approach must be able to produce results that are correct, complete and consistent. Furthermore, the merge app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995